3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/xsemantics-gen/it/xsemantics/test/fj/lambda/FjTestsForLambdas.java,FjTestsForLambdas,applyRuleExistsSubtypeWithLambda,#RuleEnvironment#RuleApplicationTrace#ClassType#ClassType#,114
Before Change
}
protected Result<Boolean> applyRuleExistsSubtypeWithLambda(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ClassType left, final ClassType right) throws RuleFailedException {
it.xsemantics.example.fj.fj.Class _classref = left.getClassref();
List<it.xsemantics.example.fj.fj.Class> _superclasses = this.superclassesInternal(_trace_, _classref);
List<it.xsemantics.example.fj.fj.Class> _reverseView = ListExtensions.<it.xsemantics.example.fj.fj.Class>reverseView(_superclasses);
final Function1<it.xsemantics.example.fj.fj.Class, Boolean> _function = new Function1<it.xsemantics.example.fj.fj.Class, Boolean>() {
public Boolean apply(final it.xsemantics.example.fj.fj.Class it) {
/* G |- it <| right.classref */
After Change
}
}
protected Result<Boolean> applyRuleExistsSubtypeWithLambda(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ClassType left, final ClassType right) throws RuleFailedException {
final Function1<it.xsemantics.example.fj.fj.Class, Boolean> _function = new Function1<it.xsemantics.example.fj.fj.Class, Boolean>() {
public Boolean apply(final it.xsemantics.example.fj.fj.Class it) {
/* G |- it <| right.classref */
it.xsemantics.example.fj.fj.Class _classref = right.getClassref();
boolean _ruleinvocation = subclassSucceeded(G, _trace_, it, _classref);
return Boolean.valueOf(_ruleinvocation);
}
};
/* left.classref.superclasses.reverseView.exists[ G |- it <| right.classref ] */
if (!IterableExtensions.<it.xsemantics.example.fj.fj.Class>exists(ListExtensions.<it.xsemantics.example.fj.fj.Class>reverseView(this.superclassesInternal(_trace_, left.getClassref())), _function)) {
sneakyThrowRuleFailedException("left.classref.superclasses.reverseView.exists[ G |- it <| right.classref ]");
}
return new Result<Boolean>(true);